perm filename APP3[AIM,DBL]1 blob
sn#124698 filedate 1974-10-17 generic text, type T, neo UTF8
00100 .DEVICE XGP
00200 .FONT 1 "FIX25"
00300 .FONT 2 "SIGN57"
00400 .FONT 3 "SHD40"
00500 .FONT 4 "BDI25"
00600 .FONT 5 "NGB30"
00700 .FONT 6 "NGR20"
00800 .TURN ON "↓_π{"
00900 .TURN ON "⊗" FOR "%"
01000 .MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
01100 .MACRO E ⊂ APART END ⊃
01200 .TABBREAK
01300 .COMPACT
01400 .EVERY HEADING(⊗3BEINGS⊗*,,⊗4Doug Lenat⊗*)
00100 .EVERY FOOTING(⊗6Fourth Draft...{DATE},page A3.{IF PAGE = 1 THEN 1 ELSE PAGE},BEING usage data)
00200 .COUNT PAGE PRINTING "1"
00300 .NEXT PAGE
00400 .SELECT 1
00500 ⊗2APPENDIX 3. ⊗* ⊗3BEING USAGE⊗*
00600
00700 To communicate the degree of heterarchy actually utilized by PUP6, we
00800 present usage data about all the BEINGS. For each one, we give: its length (in
00900 cells), the number of parts which were actually coded (the PTS column
01000 below), the number which were
01100 accessed in each of the
01200 three experimental dialogues (three numbers, one for each
01300 dialogue), the total number of times each
01400 BEING was in control (three numbers), the total time spent in this BEING (not
01500 including time spent in a BEING called by this one hierarchically; three numbers).
01600 To avoid giving the reader a false impression of the degree of intelligent
01700 inter-BEING communication, we have eliminated from the table below all the
01800 thousands of references which are made during translation (when ⊗4every⊗*
01900 BEING is asked "do you recognize ...?") and during goal statements (when
02000 ⊗4every⊗* BEING is asked "can you bring about ...?").
02100 Likewise, it is more descriptive to view the size of a BEING in terms of the
02200 number of list cells it occupies (the LNGTH column below),
02300 rather than the number of lines it needs
02400 when pretty-printing.
02500
02600 .SELECT 4
02700 .B
02800
02900
03000 LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E
03100 CF GI INF CF GI INF CF GI INF
03200
03300 .E
03400 .SELECT 1
03500 .BEGIN NOFILL
03600 ADAPT:PRECONCEIVED:FUNCTION
03700 28 5 348 304 120 0 0 0 0.0 0.0 0.0
03800 ADD:DEFINITION
03900 191 11 3 5 1 3 5 1 11.2 12.0 1.2
04000 ADJECTIVE:HANDLER
04100 245 14 0 0 0 1 1 0 0.2 0.2 0.0
04200 ANALYZE:IMPLICATIONS
04300 276 14 57 35 25 0 0 1 0.0 0.0 10.1
04400 APPLYRULE
04500 118 10 0 55 0 0 0 0 0.0 0.0 0.0
04600 ASK:USER:ABOUT
04700 195 12 98 0 0 50 48 11 821.4 593.3 40.1
04800 BETTER
04900 405 13 121 0 53 438 396 164 105.2 75.4 20.2
05000 CHOOSE:FROM
05100 312 11 0 0 0 91 83 35 25.5 19.3 5.2
05200 CLARIFY:IMPROBABLE:SITUATION
05300 2102 13 694 588 286 29 26 17 582.5 102.4 24.7
05400 CLASSIFICATORY:CONCEPT:FORMATION
05500 37 6 3 0 0 0 0 0 0.0 0.0 0.0
05600 COMPARE
05700 982 12 213 0 0 0 0 0 0.0 0.0 0.0
05800 COMPARITIVE:CONCEPT:FORMATION
05900 45 6 3 0 0 0 0 0 0.0 0.0 0.0
06000 .SKIP TO COLUMN 1
06100 ⊗4LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E
06200 CF GI INF CF GI INF CF GI INF⊗*
06300
06400 COMPLEX:ALTERATION
06500 498 10 142 0 0 0 0 0 0.0 0.0 0.0
06600 COMPLEX:COMPARE:FN
06700 102 5 55 0 0 0 0 0 0.0 0.0 0.0
06800 COMPLEX:MODIFY:STRUCTURE
06900 430 9 0 61 0 0 0 0 0.0 0.0 0.0
07000 CONCEPT:FORMATION
07100 582 18 52 0 0 0 0 0 0.0 0.0 0.0
07200 CONDITIONAL:DELETION
07300 878 12 144 96 50 0 0 0 0.0 0.0 0.0
07400 CONDITIONAL:INSERTION
07500 1244 11 283 112 47 0 0 0 0.0 0.0 0.0
07600 CONSTRAIN
07700 223 14 0 0 0 2 1 0 0.6 0.7 0.0
07800 DATA:STRUCTURE:DELETIONS
07900 756 12 0 0 0 2 0 2 0.4 0.0 0.2
08000 DATA:STRUCTURE:INSERTIONS
08100 756 12 0 0 0 2 0 2 0.3 0.0 0.2
08200 DEFER:DECISION
08300 289 15 0 0 0 167 91 17 6.9 26.8 1.2
08400 ELEMENT
08500 59 8 76 106 0 0 0 0 0.0 0.0 0.0
08600 ENCODE
08700 1018 12 0 0 0 49 40 11 776.3 531.8 76.7
08800 EXAMINE:STRUCTURE
08900 146 11 0 0 52 0 0 0 0.0 0.0 0.0
09000 EXTRACT:RELEVANT:SUBSET
09100 203 13 32 28 20 0 0 0 0.0 0.0 0.0
09200 FAST:GET:NAME
09300 632 16 0 0 0 3 2 1 1.7 0.7 0.4
09400 FAST:SATISFY
09500 385 18 0 0 0 0 0 0 0.0 0.0 0.0
09600 FILL:IN:UNDEFINED:SECTION
09700 463 14 977 809 260 49 40 11 160.2 121.6 14.2
09800 FIX:INCORRECT:PIECE
09900 21 4 348 304 120 0 0 0 0.0 0.0 0.0
10000 FOREACH
10100 938 12 51 62 0 0 0 0 0.0 0.0 0.0
10200 GET:DATA:STRUCTURE
10300 780 13 17 0 48 15 0 2 12.7 0.0 5.2
10400 GET:HOLD:OF
10500 301 11 59 59 0 0 0 0 0.0 0.0 0.0
10600
10700 ⊗4 CF GI INF CF GI INF CF GI INF
10800 LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E⊗*
10900 .SKIP TO COLUMN 1
11000 ⊗4LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E
11100 CF GI INF CF GI INF CF GI INF⊗*
11200
11300 GET:NAME
11400 592 14 0 0 0 65 52 19 68.0 142.0 6.2
11500 GET:NEW:INFORMATION
11600 192 15 60 43 41 2 1 2 0.2 <0.1 0.2
11700 GRAMMATICAL:INFERENCE
11800 219 12 0 46 0 0 0 0 0.0 0.0 0.0
11900 INFER:CONTEXTFREE:GRAMMARS
12000 148 13 0 0 0 0 0 0 0.0 0.0 0.0
12100 INFER:CONTEXTSENSITIVE:GRAMMARS
12200 147 13 0 0 0 0 0 0 0.0 0.0 0.0
12300 INFER:FIXEDCLASS:GRAMMARS
12400 131 10 0 46 0 0 0 0 0.0 0.0 0.0
12500 INFER:MULTICLASS:GRAMMARS
12600 88 10 0 0 0 0 0 0 0.0 0.0 0.0
12700 INFER:PHRASESTRUCTURE:GRAMMARS
12800 143 14 0 55 0 0 0 0 0.0 0.0 0.0
12900 INFER:REGULAR:GRAMMARS
13000 155 13 0 0 0 0 0 0 0.0 0.0 0.0
13100 IS:OF:TYPE
13200 143 11 108 214 51 0 0 0 0.0 0.0 0.0
13300 JOINING:FUNCTION
13400 223 13 49 0 0 0 0 0 0.0 0.0 0.0
13500 LIST:STRUCTURE
13600 65 10 273 0 480 0 0 0 0.0 0.0 0.0
13700 MAJOR:MODIFY:STRUCTURE
13800 35 6 12 126 48 0 0 0 0.0 0.0 0.0
13900 MAKE:A:GUESS
14000 207 10 0 0 0 0 0 0 0.0 0.0 0.0
14100 MAKE:ENCODABLE
14200 162 11 0 0 0 66 52 16 20.9 54.1 1.2
14300 MAKE:NEW:BEING
14400 461 11 0 0 0 56 37 23 299.5 204.5 86.7
14500 MESSAGE
14600 236 15 0 0 0 46 37 26 24.0 7.8 4.2
14700 METRICAL:CONCEPT:FORMATION
14800 22 4 3 0 0 0 0 0 0.0 0.0 0.0
14900 MODIFY:SOME
15000 263 9 0 45 0 0 0 0 0.0 0.0 0.0
15100 MODIFY:STRUCTURE
15200 158 12 676 366 54 0 0 0 0.0 0.0 0.0
15300 MODIFY:UNTIL
15400 116 9 0 45 0 0 0 0 0.0 0.0 0.0
15500
15600 ⊗4 CF GI INF CF GI INF CF GI INF
15700 LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E⊗*
15800 .SKIP TO COLUMN 1
15900 ⊗4LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E
16000 CF GI INF CF GI INF CF GI INF⊗*
16100
16200 OBTAIN:USABLE:INFORMATION
16300 199 13 943 808 342 7 7 5 0.5 0.6 0.2
16400 OPTIMIZE
16500 21 4 0 0 0 1 1 1 (0.0) (0.0) (0.0)
16600 PARSE
16700 1223 12 0 73 0 0 0 0 0.0 0.0 0.0
16800 PARSE:BACKWARD
16900 492 11 0 55 0 0 0 0 0.0 0.0 0.0
17000 PARSE:FORWARD
17100 488 11 0 51 0 0 0 0 0.0 0.0 0.0
17200 PARTITION:A:DOMAIN
17300 286 16 55 53 0 0 0 0 0.0 0.0 0.0
17400 PARTITION:BY:TAKE:CLASS:GET:ELE
17500 40 7 0 0 0 0 0 0 0.0 0.0 0.0
17600 PARTITION:BY:TAKE:ELE:AND:CLASS
17700 64 9 4 4 0 0 0 0 0.0 0.0 0.0
17800 PARTITION:BY:TAKE:ELE:GET:CLASS
17900 67 9 4 4 0 0 0 0 0.0 0.0 0.0
18000 PATTERN:MATCH
18100 435 12 0 48 0 0 0 0 0.0 0.0 0.0
18200 PROBABILITY=0:#
18300 122 10 4 0 0 0 0 0 0.0 0.0 0.0
18400 PROBABILITY=1:#
18500 106 10 4 0 0 0 0 0 0.0 0.0 0.0
18600 PROBABILITY>0&<1:#
18700 118 10 4 0 0 0 0 0 0.0 0.0 0.0
18800 PROPOSE:PLAUSIBLE:NAMES
18900 356 15 0 0 0 3 2 1 1.4 1.0 0.9
19000 RECOGNIZE:#
19100 226 11 48 0 0 0 0 0 0.0 0.0 0.0
19200 RECOGNIZE:ARGS
19300 52 5 0 0 0 0 0 0 0.0 0.0 0.0
19400 RECOGNIZE:CAR
19500 127 4 0 0 0 0 0 0 0.0 0.0 0.0
19600 RECOGNIZE:CONDITIONAL
19700 66 3 0 0 0 0 0 0 0.0 0.0 0.0
19800 RECOGNIZE:CONJUNCTION
19900 139 3 0 0 0 0 0 0 0.0 0.0 0.0
20000 RECOGNIZE:EQUALITY
20100 130 4 0 0 0 0 0 0 0.0 0.0 0.0
20200 RECOGNIZE:FUNCTION:RETURNS
20300 127 4 0 0 0 0 0 0 0.0 0.0 0.0
20400
20500 ⊗4 CF GI INF CF GI INF CF GI INF
20600 LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E⊗*
20700 .SKIP TO COLUMN 1
20800 ⊗4LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E
20900 CF GI INF CF GI INF CF GI INF⊗*
21000
21100 RECOGNIZE:INCLUSION
21200 100 4 0 0 0 0 0 0 0.0 0.0 0.0
21300 RECOGNIZE:LITERALS
21400 191 5 0 0 0 0 0 0 0.0 0.0 0.0
21500 RECOGNIZE:NUMBER
21600 84 3 0 0 0 0 0 0 0.0 0.0 0.0
21700 RECOGNIZE:SET:RELATIONS
21800 131 3 0 0 0 0 0 0 0.0 0.0 0.0
21900 RECOGNIZE:SOME:MEMBER
22000 148 3 0 0 0 0 0 0 0.0 0.0 0.0
22100 RECOGNIZE:TAIL
22200 47 3 0 0 0 0 0 0 0.0 0.0 0.0
22300 REINVESTIGATE:DECISION
22400 200 13 0 0 0 10 21 3 0.3 0.6 0.1
22500 REPEATEDLY
22600 196 11 1 2 1 0 0 0 0.0 0.0 0.0
22700 RESOLVE:DECISION
22800 184 13 0 0 0 50 48 11 2.5 2.4 0.4
22900 SATISFY
23000 311 18 0 0 0 329 235 101 249.2 171.2 71.6
23100 SCENE
23200 48 6 37 0 0 0 0 0 0.0 0.0 0.0
23300 SEARCH
23400 375 13 4 4 0 0 0 0 0.0 0.0 0.0
23500 SERVE
23600 204 15 0 0 0 1 1 2 0.3 0.1 0.3
23700 SIMPLE:COMPARE:FN
23800 127 11 48 0 47 0 0 0 0.0 0.0 0.0
23900 SOME:PART:OF
24000 220 11 351 196 0 0 0 0 0.0 0.0 0.0
24100 STRING
24200 98 12 0 49 0 0 0 0 0.0 0.0 0.0
24300 STUDY:TYPE
24400 224 11 0 0 0 71 51 14 30.1 18.5 1.4
24500 SUPPORT&DUMP
24600 445 11 0 0 0 1 1 1 19.0 16.7 12.3
24700 TAKE:HOLD:OF
24800 505 10 110 174 46 0 0 0 0.0 0.0 0.0
24900 TEST
25000 269 8 48 0 0 0 0 0 0.0 0.0 0.0
25100 TRANSLATE
25200 328 17 73 82 47 111 33 22 196.4 31.0 16.1
25300
25400 ⊗4 CF GI INF CF GI INF CF GI INF
25500 LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E⊗*
25600 .SKIP TO COLUMN 1
25700 ⊗4LNGTH PTS A C C E S S E D C O N T R O L C P U - T I M E
25800 CF GI INF CF GI INF CF GI INF⊗*
25900
26000 USE:INFORMATION
26100 148 11 399 389 137 3 5 1 0.5 0.7 0.1
26200 UTILIZE
26300 328 12 0 0 0 81 64 14 56.2 60.8 8.4
26400 WHEN:NEXT
26500 244 12 0 0 0 81 64 14 26.3 36.9 2.0
26600 WRITE:PROGRAM
26700 631 17 0 0 0 1 1 1 32.7 12.3 2.5
26800 .END